home *** CD-ROM | disk | FTP | other *** search
- finder <Class>
-
- Command `finder' tells you which file is loaded when searching
- for an Eiffel <Class>.
- When an Eiffel file is found, `finder' prints the full path name.
- The exit status is set to a good value.
-
- To see the loading path used by SmallEiffel, you can for example
- type the `finder' command using a bad (inexistant) class name.
-
- Without argument, `finder' command prints this help.
-
- The algorithm used by SmallEiffel to search for an Eiffel
- source file has two major steps.
-
- 1- First Step - SmallEiffel looks all along the loading path using
- <class> name in lower case as tail. If needed, the Eiffel
- suffix (".e") is added automatically. SmallEiffel only looks for
- suffixed files on the disk. Only the first file encountered
- according to the order of the path is taken in account.
- File is always supposed to have the same name as the inside
- class definition.
-
- 2 - Second Step - : is done only when first step has failed to find
- a file. SmallEiffel tries to search for files "rename.se" in all
- directories of the path.
- A file "rename.se" allows the user to put in file "foo" the class
- "bar" for example.
- Such renaming facilities has been added especially for DOS (file
- manes is limited to 8 characters).
- Each line of a "rename.se" file is a renaming directive containing
- two names, first the full name and then the short name to use in the
- directory where the "rename.se" file is.
- File "SmallEiffel/misc/rename.se" is an example of a "rename.se" file
- to put in SmallEiffel/lib_std/ for DOS.
-
- Thus, knowing the algorithm of SmallEiffel to find a class file, it is
- better not to use the renaming facilities to speed up class loading.
-
- -- Changing the default loading path --
- To change the default loading path, you need to add a special
- file which name is "loadpath.se" in the directoy you type a
- command of SmallEiffel (`compile', `finder', `pretty', ...).
- Each line of the file "loadpath.se" must be an existing
- directory path.
- All directories of file "loadpath.se" are prepend to the default
- loading path.
-
-
-